1021. Verifying Concurrent Processes Using Temporal Logic
پدیدآورنده : by Brent T. Hailpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Science,Computer science.,Logic design.
1022. Verilog HDL :
پدیدآورنده : by Joseph Cavanagh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Digital electronics.,Logic circuits -- Computer-aided design.,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
B956
2007
1023. Verilog HDL: digital design and modeling
پدیدآورنده : Cavanagh, Joseph J. F.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
C395
2007
1024. Verilog HDL synthesis
پدیدآورنده : / J. Bhasker
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Verilog (Computer hardware description language),Logic design - Data processing
رده :
TK7885
.
7
.
B528
1025. Verilog HDL synthesis :a practical primer
پدیدآورنده : Bhasker, Jayaram.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Verilog )Computer hardware description language(,Data processing ، Logic design
رده :
TK
7885
.
7
.
B5284
1998
1026. Verilog coding for logic synthesis
پدیدآورنده : / Weng Fook Lee
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
E-BOOK
1027. Verilog coding for logic synthesis
پدیدآورنده : / Weng Fook Lee
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Digital electronics,Logic circuits- Computer-aided design,Verilog (Computer hardware description language)
رده :
TK7868
.
D5
,
L42
2003
1028. Verilog coding for logic synthesis
پدیدآورنده : / weng fook LEE
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : digital electronics,Logic circuits-computer-aided design
رده :
TK7868
.
D5
,
L45
2003
1029. Verilog coding for logic synthesis
پدیدآورنده : Lee, Weng Fook.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Digital electronics,Computer-aided design ، Logic circuits,، Verilog )Computer hardware description language(
رده :
TK
7868
.
D5
L42
1030. Vivid logic
پدیدآورنده : / Gerd Wagner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Expert systems (Computer science),Logic, Symbolic and mathematical.
رده :
QA
,
76
.
76
,.
E95
,
W33
,
1994
1031. Vivid logic :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Expert systems (Computer science) ; Logic, Symbolic and mathematical. ;
1032. Vivid logic : knowledge-based reasoning with two kinds of negation
پدیدآورنده : Wagner, Gerd, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
764
1033. Web Services and Formal Methods :
پدیدآورنده : edited by Maurice H. Beek, Niels Lohmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Logic design.,Software engineering.
1034. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
1035. What is a logical system?
پدیدآورنده : edited by D.M. Gabbay
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
2
.
W48
1994
1036. Why Prolog? : justifying logic programming for practical applications
پدیدآورنده : Lazarev, Gregory L
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Prolog )Computer program language(,، Logic programming
رده :
QA
76
.
73
.
P76
L38
1989
1037. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
1038. agent systems-Argumentation in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
1039. agent systems-Argumentation in multi
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Intelligent agents (Computer software) ; Congresses. ; Logic ; Congresses. ;
